<?php

/*
 * dynamic configuration file,
 * will be written by admin script
 */


?>